“양-밀스 존재성 및 질량 간극 문제”